theorem checker造句

例句与造句

1. N . G . de Bruijn used the lambda notation for representing proofs of the theorem checker Automath, and represented propositions as " categories " of their proofs.
2. For example, an automated theorem prover or theorem checker can increase a programmer's ( or language designer's ) confidence in the correctness of proofs about programs ( or the language itself ).
3. :At the very end of that page about Principia Mathematica you can find proposition 54.43 which is that 1 + 1 = 2 validated using a modern theorem checker Metamath . talk ) 16 : 06, 5 January 2011 ( UTC)
4. It's difficult to find theorem checker in a sentence. 用theorem checker造句挺难的